home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sr / readme < prev    next >
Text File  |  1993-07-24  |  4KB  |  79 lines
  1. README file for cs.arizona.edu:/sr
  2.  
  3. This directory contains Version 2.1 of the SR programming language and
  4. the archives of the Info-SR mailing list.  Remember to use binary mode
  5. when transferring compressed files.
  6.  
  7. info-sr.19xx    Archives of the Info-SR mailing list for the given year.
  8.         To subscribe to Info-SR, send your email address to
  9.         info-sr-request@cs.arizona.edu.
  10.  
  11. sr.tar.Z    The SR programming language, including source code,
  12.         documentation in PostScript and troff form, checkout
  13.         programs, and examples.
  14.  
  15. vs.tar.Z    The extended verification suite, needed only if you're
  16.         going to modify the system or port it to a new architecture.
  17.  
  18. srwin and srlatex, formerly in separate files, are now integrated into the
  19. sr.tar.Z distribution.  Some srwin examples are found in examples/srwin.
  20.  
  21. For further information about SR, contact sr-project@cs.arizona.edu.
  22. Please drop us a note at that address if you pick up SR via FTP.
  23. If you ask us to, we'll put you on the Info-SR mailing list.
  24.  
  25.  
  26. Here's a description of SR:
  27.  
  28.    SR (Synchronizing Resources) is a language for writing concurrent programs.
  29. The main language constructs are resources and operations.  Resources encapsu-
  30. late processes and variables they share; operations provide the primary mechan-
  31. ism for process interaction.  SR provides a novel integration of the mechanisms
  32. for invoking and servicing operations.  Consequently, all of local and remote
  33. procedure call, rendezvous, message passing, dynamic process creation, multi-
  34. cast, and semaphores are supported.  SR also supports shared global variables
  35. and operations.
  36.  
  37.    SR has been used at a number of universities and labs for course work and
  38. research projects involving concurrent programming.  It has been used in con-
  39. current programming courses to reinforce concepts with small programming pro-
  40. jects and with larger projects such as experiments with parallel algorithms,
  41. replicated databases, distributed simulations, and parts of distributed operat-
  42. ing systems such as file systems and command interpreters.  SR has also been
  43. used as a tool in several masters theses and doctoral dissertations to conduct
  44. experiments in parallel and distributed programming and to implement larger sys-
  45. tems such as a system for mixed language programming, one for distributed imple-
  46. mentation of graph algorithms, experiments with load balancing algorithms, and
  47. experiments with upcall program structures.
  48.  
  49. Documentation
  50.  
  51.    SR is described in The SR Programming Language: Concurrency in Practice, by
  52. Gregory R. Andrews and Ronald A. Olsson (Benjamin/Cummings, 1993, ISBN 0-8053-
  53. 0088-0).  An overview of version 1 of the language and implementation appeared
  54. in the January, 1988, issue of ACM TOPLAS (10,1, 51-86).  Information about con-
  55. current programming in general can be found in Concurrent Programming: Princi-
  56. ples and Practice, by Gregory R. Andrews (Benjamin/Cummings, 1991, ISBN 0-8053-
  57. 0086-4).
  58.  
  59. The Implementation
  60.  
  61.    An SR program runs on one or more networked machines of the same architec-
  62. ture.  True multiprocessing is supported on the SGI Iris and Sequent Symmetry;
  63. multiprocessing is simulated on the other supported platforms, which include
  64. the Sun, DECstation, HP RISC, and IBM RS/6000.  Code is also included for the
  65. DG AViiON, VAX, and others.  To allow additional hands-on experience, three
  66. preprocessors convert notations for CCRs, monitors, and CSP into SR code.
  67.  
  68.    The latest implementation of SR is version 2.1, released in March, 1993.
  69. Version 2.1 adds tracing facilities, library support, an X-Windows interface,
  70. new utilities, performance improvements, bug fixes, and support of Sun's Solaris
  71. 2.1 operating system.
  72.  
  73. The INFO-SR Mailing List
  74.  
  75.    Mail sent to info-sr@cs.arizona.edu is automatically forwarded to a list of
  76. people interested in SR.  The mailing list is used for language discussions,
  77. announcements of new versions, etc.  To join, send a request including your e-
  78. mail address to info-sr-request@cs.arizona.edu or uunet!arizona!sr-project.
  79.